FoU-kompetansen til nyutdannede grunnskolelærere – grunnlag for skoleutvikling?

Éditorial: Au fou

Deduction System for TIL-2010

The goal of this paper is to introduce a deductive system for Tichý’s Transparent Intensional Logic (TIL). Tichý defined a sequent calculus for pre-1988 TIL, that is TIL based on the simple theory of types. Thus we first briefly recapitulate the rules of this simple-type calculus. Then we describe the adjustments of the calculus so that it be applicable to hyperintensions within the ramified hi...

"Fou rire prodromique" heralding a brainstem stroke.

A patient manifested pathological laughter heralding the onset of brainstem stroke leading to a "locked-in" state. The pathological laughter did not recur. MRI revealed a bilateral ventral pontine infarct. The clinico-anatomical correlations of this rare phenomenon of fou rire prodromique are discussed.

Du TAL au TIL

position paper. Historically two types of NLP have been investigated: fully automated processing of language by machines (NLP) and autonomous processing of natural language by people, i.e. the human brain (psycholinguistics). We believe that there is room and need for another kind, INLP: interactive natural language processing. This intermediate approach starts from peoples’ needs, trying to br...

Deductive Reasoning using TIL

Transparent Intensional Logic (TIL) is a highly expressive logical system apt for the logical analysis of natural language. It operates with a single procedural semantics for all kinds of logical-semantic context, whether extensional, intensional or hyper-intensional, while adhering to the compositionality principle throughout. The reason why we vote for a rich procedural semantics is this. A c...